gitdir: ../../../.git/modules/thirdparty/lietorch/modules/eigen
